Enforcing Object Protocols by Combining Static and Runtime AnalysisGOPINATHAN, Madhu; RAJAMANI, Sriram K.ACM SIGPLAN notices. 2008, Vol 43, Num 10, pp 245-260, issn 1523-2867, 16 p.Conference Paper

A Decade of Software Model Checking with SLAMBALL, Thomas; LEVIN, Vladimir; RAJAMANI, Sriram K et al.Communications of the ACM. 2011, Vol 54, Num 7, pp 68-76, issn 0001-0782, 9 p.Article

Automatically validating temporal safety properties of interfacesBALL, Thomas; RAJAMANI, Sriram K.Lecture notes in computer science. 2001, pp 103-122, issn 0302-9743, isbn 3-540-42124-6Conference Paper

Verifying properties of hardware and software by predicate abstraction and model checkingBRYANT, Randal E; RAJAMANI, Sriram K.IEEE/ACM International Conference on Computer-Aided Design. 2004, isbn 0-7803-8702-3, 2Vol, vol1, 437-438Conference Paper

A behavioral module system for the Pi-calculusRAJAMANI, Sriram K; REHOF, Jakob.Lecture notes in computer science. 2001, pp 375-394, issn 0302-9743, isbn 3-540-42314-1Conference Paper

Polymorphic predicate abstractionBALL, Thomas; MILLSTEIN, Todd; RAJAMANI, Sriram K et al.ACM transactions on programming languages and systems. 2005, Vol 27, Num 2, pp 314-343, issn 0164-0925, 30 p.Article

Promela planningEDELKAMP, Stefan.Lecture notes in computer science. 2003, pp 197-212, issn 0302-9743, isbn 3-540-40117-2, 16 p.Conference Paper

Formal verification of pentium®4 components with symbolic simulation and inductive invariantsKAIVOLA, Roope.Lecture notes in computer science. 2005, pp 170-184, issn 0302-9743, isbn 3-540-27231-3, 15 p.Conference Paper

A light-weight algorithm for model checking with symmetry reduction and weak fairnessBOSNACKI, Dragan.Lecture notes in computer science. 2003, pp 89-103, issn 0302-9743, isbn 3-540-40117-2, 15 p.Conference Paper

Efficient model checking of safety propertiesLATVALA, Timo.Lecture notes in computer science. 2003, pp 74-88, issn 0302-9743, isbn 3-540-40117-2, 15 p.Conference Paper

From symptom to cause: Localizing errors in counterexample tracesBALL, Thomas; NAIK, Mayur; RAJAMANI, Sriram K et al.ACM SIGPLAN notices. 2003, Vol 38, Num 1, pp 97-105, issn 1523-2867, 9 p.Conference Paper

Models for contract conformanceRAJAMANI, Sriram K; REHOF, Jakob.Lecture notes in computer science. 2006, pp 181-196, issn 0302-9743, isbn 978-3-540-48928-3, 1Vol, 16 p.Conference Paper

Probabilistic verification for black-box systemsYOUNES, Hakan L. S.Lecture notes in computer science. 2005, pp 253-265, issn 0302-9743, isbn 3-540-27231-3, 13 p.Conference Paper

DPLL(T) with exhaustive theory propagation and its application to difference logicNIEUWENHUIS, Robert; OLIVERAS, Albert.Lecture notes in computer science. 2005, pp 321-334, issn 0302-9743, isbn 3-540-27231-3, 14 p.Conference Paper

Ymer : A statistical model checkerYOUNES, Hakan L. S.Lecture notes in computer science. 2005, pp 429-433, issn 0302-9743, isbn 3-540-27231-3, 5 p.Conference Paper

Bounded model checking of concurrent programsRABINOVITZ, Ishai; GRUMBERG, Orna.Lecture notes in computer science. 2005, pp 82-97, issn 0302-9743, isbn 3-540-27231-3, 16 p.Conference Paper

Data structure specifications via local equality axiomsMCPEAK, Scott; NECULA, George C.Lecture notes in computer science. 2005, pp 476-490, issn 0302-9743, isbn 3-540-27231-3, 15 p.Conference Paper

Yet another decision procedure for equality logicMEIR, Orly; STRICHMAN, Ofer.Lecture notes in computer science. 2005, pp 307-320, issn 0302-9743, isbn 3-540-27231-3, 14 p.Conference Paper

What went wrong: Explaining counterexamplesGROCE, Alex; VISSER, Willern.Lecture notes in computer science. 2003, pp 121-135, issn 0302-9743, isbn 3-540-40117-2, 15 p.Conference Paper

The ORCHIDS intrusion detection toolOLIVAIN, Julien; GOUBAULT-LARRECQ, Jean.Lecture notes in computer science. 2005, pp 286-290, issn 0302-9743, isbn 3-540-27231-3, 5 p.Conference Paper

A nearly memory-optimal data structure for sets and mappingsGELDENHUYS, Jaco; VALMARI, Antti.Lecture notes in computer science. 2003, pp 136-150, issn 0302-9743, isbn 3-540-40117-2, 15 p.Conference Paper

Checking consistency of SDL + MSC specificationsD'SOUZA, Deepak; MUKUND, Madhavan.Lecture notes in computer science. 2003, pp 151-165, issn 0302-9743, isbn 3-540-40117-2, 15 p.Conference Paper

Thread-modular model checkingFLANAGAN, Cormac; QADEER, Shaz.Lecture notes in computer science. 2003, pp 213-224, issn 0302-9743, isbn 3-540-40117-2, 12 p.Conference Paper

Syntax-driven reachable state space construction of synchronous reactive programsVECCHIE, Eric; DE SIMONE, Robert.Lecture notes in computer science. 2005, pp 213-225, issn 0302-9743, isbn 3-540-27231-3, 13 p.Conference Paper

Stuck-free conformanceFOURNET, Cédric; HOARE, Tony; RAJAMANI, Sriram K et al.Lecture notes in computer science. 2004, pp 242-254, issn 0302-9743, isbn 3-540-22342-8, 13 p.Conference Paper